科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:计算建模,形式分析和系统生物学工具。
Ezio Bartocci; Pietro Lió;
机译:计算建模,形式分析和系统生物学工具
机译:PeTTSy:用于复杂系统生物学模型扰动分析的计算工具
机译:计算机辅助系统的神经网络安全工具建模:适应和操作的正式模型。一世
机译:对嵌入式系统正式建模和验证方法和工具的比较分析。 概率方法
机译:一种功能分析工具,用于评估和改进结构生物学中的计算模型。
机译:复杂系统跨学科研究中的计算建模和形式分析技术
机译:混合系统建模和分析的形式化方法
机译:通过正式模型设计和验证数据流系统的工具和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。